Optimal. Leaf size=212 \[ -\frac{2 b e^2 e^{\frac{2 A}{B}} \text{Ei}\left (-\frac{2 \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{B}\right )}{B^2 g^3 (b c-a d)^2}+\frac{d e e^{A/B} \text{Ei}\left (-\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{B}\right )}{B^2 g^3 (b c-a d)^2}-\frac{b (c+d x)^2}{B g^3 (a+b x)^2 (b c-a d)^2 \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )}+\frac{d (c+d x)}{B g^3 (a+b x) (b c-a d)^2 \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )} \]
[Out]
________________________________________________________________________________________
Rubi [F] time = 0.0837941, antiderivative size = 0, normalized size of antiderivative = 0., number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0., Rules used = {} \[ \int \frac{1}{(a g+b g x)^3 \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )^2} \, dx \]
Verification is Not applicable to the result.
[In]
[Out]
Rubi steps
\begin{align*} \int \frac{1}{(a g+b g x)^3 \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )^2} \, dx &=\int \frac{1}{(a g+b g x)^3 \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )^2} \, dx\\ \end{align*}
Mathematica [A] time = 0.757335, size = 136, normalized size = 0.64 \[ \frac{-2 b e^2 e^{\frac{2 A}{B}} \text{Ei}\left (-\frac{2 \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{B}\right )+d e e^{A/B} \text{Ei}\left (-\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{B}\right )-\frac{B (c+d x) (b c-a d)}{(a+b x)^2 \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )}}{B^2 g^3 (b c-a d)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 1.43, size = 0, normalized size = 0. \begin{align*} \int{\frac{1}{ \left ( bgx+ag \right ) ^{3}} \left ( A+B\ln \left ({\frac{e \left ( bx+a \right ) }{dx+c}} \right ) \right ) ^{-2}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.1091, size = 1187, normalized size = 5.6 \begin{align*} -\frac{B b c^{2} - B a c d +{\left (B b c d - B a d^{2}\right )} x -{\left ({\left (B b^{2} d e x^{2} + 2 \, B a b d e x + B a^{2} d e\right )} e^{\frac{A}{B}} \log \left (\frac{b e x + a e}{d x + c}\right ) +{\left (A b^{2} d e x^{2} + 2 \, A a b d e x + A a^{2} d e\right )} e^{\frac{A}{B}}\right )} \logintegral \left (\frac{{\left (d x + c\right )} e^{\left (-\frac{A}{B}\right )}}{b e x + a e}\right ) + 2 \,{\left ({\left (B b^{3} e^{2} x^{2} + 2 \, B a b^{2} e^{2} x + B a^{2} b e^{2}\right )} e^{\left (\frac{2 \, A}{B}\right )} \log \left (\frac{b e x + a e}{d x + c}\right ) +{\left (A b^{3} e^{2} x^{2} + 2 \, A a b^{2} e^{2} x + A a^{2} b e^{2}\right )} e^{\left (\frac{2 \, A}{B}\right )}\right )} \logintegral \left (\frac{{\left (d^{2} x^{2} + 2 \, c d x + c^{2}\right )} e^{\left (-\frac{2 \, A}{B}\right )}}{b^{2} e^{2} x^{2} + 2 \, a b e^{2} x + a^{2} e^{2}}\right )}{{\left (A B^{2} b^{4} c^{2} - 2 \, A B^{2} a b^{3} c d + A B^{2} a^{2} b^{2} d^{2}\right )} g^{3} x^{2} + 2 \,{\left (A B^{2} a b^{3} c^{2} - 2 \, A B^{2} a^{2} b^{2} c d + A B^{2} a^{3} b d^{2}\right )} g^{3} x +{\left (A B^{2} a^{2} b^{2} c^{2} - 2 \, A B^{2} a^{3} b c d + A B^{2} a^{4} d^{2}\right )} g^{3} +{\left ({\left (B^{3} b^{4} c^{2} - 2 \, B^{3} a b^{3} c d + B^{3} a^{2} b^{2} d^{2}\right )} g^{3} x^{2} + 2 \,{\left (B^{3} a b^{3} c^{2} - 2 \, B^{3} a^{2} b^{2} c d + B^{3} a^{3} b d^{2}\right )} g^{3} x +{\left (B^{3} a^{2} b^{2} c^{2} - 2 \, B^{3} a^{3} b c d + B^{3} a^{4} d^{2}\right )} g^{3}\right )} \log \left (\frac{b e x + a e}{d x + c}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{{\left (b g x + a g\right )}^{3}{\left (B \log \left (\frac{{\left (b x + a\right )} e}{d x + c}\right ) + A\right )}^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]